Turing machine
Số nhiều: Turing machines
Từ liên quan
algorithmcomputationcomputerlogicautomatoncomplexitydecidabilitycomputabilitytapesymbolstatetransitionheadinstructionprogramsoftwarehardwaremathematicsformalismlanguagegrammarrecursionhalting problemoraclecomplexity classbinarybitinputoutputmemorystorageprocessexecutionsimulationlambda calculusfinite automatonpushdown automatondiscrete mathematicsset theoryfunctionmappingaxiomtheoremprooflogic gatecircuitarchitectureregisterstackqueuepointervariableconstantoperatoroperandsyntaxsemanticscompilerinterpretervirtual machineabstractionmodelparadigmefficiencyoptimizationtractabilityundecidability